Dual Little Strings and their Partition Functions
Abstract
We study the topological string partition function of a class of toric, double elliptically fibered Calabi-Yau threefolds at a generic point in the Kähler moduli space. These manifolds engineer little string theories in five dimensions or lower and are dual to stacks of M5-branes probing a transverse orbifold singularity. Using the refined topological vertex formalism, we explicitly calculate a generic building block which allows to compute the topological string partition function of as a series expansion in different Kähler parameters. Using this result we give further explicit proof for a duality found previously in the literature, which relates for and .
I Introduction
Recently, the study of little string theories (LSTs) has received renewed interest: first proposed two decades ago Berkooz:1997cq ; Seiberg:1997zk ; Losev:1997hx ; Aharony:1998ub (see Aharony:1999ks ; Kutasov:2001uf for a review), during the last years, the construction of LSTs from various M-brane constructions and their dual geometric description in F-theory Bhardwaj:2015oru has led to a better understanding of supersymmetric quantum theories in six dimensions. Moreover, in the process new and unexpected dualities have been unravelled. The geometric description of these in terms of F-theory compactification on Calabi-Yau threefolds has been particularly useful in understanding various stringy properties such as LST T-duality Seiberg:1997zk ; Intriligator:1997dh ; Intriligator:1999cn .
A particular class of LSTs, dual to M5-branes transverse to a orbifold, preserving eight supercharges can be realized in F-theory using toric, non-compact Calabi-Yau manifolds denoted by Haghighat:2013gba ; Hohenegger:2015btj . The latter have the structure of a double elliptic fibration, in which one elliptic fibration has a singularity of type and the other one of . The exchange of the two elliptic fibrations is related to the T-duality of LST Bhardwaj:2015oru ; Hohenegger:2015btj . Moreover, using for example the refined topological vertex formalism, the topological string partition function on can be computed explicitly Hohenegger:2015btj . By analysing the web diagrams associated with , it was shown in Hohenegger:2016yuv that for and , i.e. the two Calabi-Yau threefolds lie in the same extended Kähler moduli space and can be related by flop transitions. The partition function of the two dual theories should be the same and so it was expected that the topological string partition function of and should be the same i.e.
| (I.1) |
for and the Kähler forms of the two Calabi-Yau threefolds related by flop transitions. Using a general building block to compute , we explicitly confirm Eq.(I.1) for , thus verifying the duality proposed in Hohenegger:2016yuv explicitly at the level of the partition function.
This paper is organised as follows. In section 2, we discuss the case in detail and show that it is dual to the case, i.e. related by a combination of flop and symmetry transforms. We also discuss the relation between the general and case. In section 3, we calculate the partition function of the case and show that, after a change of Kähler parameters, it is equal to the partition function of the configuration. In section 4, we discuss the open string amplitudes which make up the building block for generic brane configurations. We also discuss the general “twisted” case, which is related by flop transitions to the standard case. In section 5, we present our conclusions and future directions. Some of the detailed calculations and our notation and conventions are relegated to three appendices.
II Little Strings and Dual Brane Webs
At low energies, a stack of coincident M5-branes engineers a six-dimensional superconformal field theory of -type. Upon replacing the transverse to the M5-branes by an orbifold geometry, the world-volume theory on the branes becomes an SCFT. One may move away from the conformal point by separating the M5-branes along the transverse , as massive states appear in the form of M2-branes that end on the separated M5-branes. Note that if is compactified to a circle of circumference so that the M5-branes are points on , then the theory arising on the M5-branes (whether coincident or not) gives rise to a LST whose defining scale is .
As a next step, we compactify the worldvolume of the M5-branes on a circle of circumference . This M-brane configuration is dual Cecotti:2013mba to a 5-brane web in type IIB string theory given by coincident NS5-branes wrapped on that intersect with coincident D5-branes wrapped on . Turning on deformations which separate the intersections of NS5-branes and D5-branes and stretching the NS5-D5 bound-state branes Aharony:1997bh yields the brane web shown in Fig. 1. Finally, this brane web in type IIB string theory is dual to a toric Calabi-Yau threefold Leung:1997tw , which was first studied in Hohenegger:2015btj and was denoted by , and provides a more geometric description of the theory via F-theory compactification Morrison:1996na ; Morrison:1996pp . A general classification of toric and non-toric base manifolds in F-theory models was discussed in Morrison:2012np ; Morrison:2012js and, more recently, in Choi:2017vtd . For general properties of topological strings on elliptic Calabi-Yau threefolds, see Alim:2012ss ; Klemm:2012sx ; Huang:2015sta .
The brane web shown in Fig. 1 has parameters, related to the sizes of various line segments corresponding to the 5-branes. Specifically, we denote the parameters associated with horizontal (green) lines as , with vertical (red) lines as and with diagonal (blue) lines as . Out of these, only are independent (after imposing a number of consistency conditions related to the the periodic identification of the web diagram Haghighat:2013tka ). In the dual Calabi-Yau threefold , these parameters are independent Kähler moduli. For a discussion of the geometry of and the corresponding mirror curves, see Kanazawa:2016tnt .
The supersymmetric or BPS-state counting partition function of the above mentioned LST can be computed as the topological string partition function of . The latter depends on the Kähler parameters of (taking into account that only of them are independent) as well as two regularisation parameters introduced to render the partition function well-defined. From the perspective of the field theory that describes the low-energy limit of the LST engineered by , these parameters can be interpreted geometrically as the -background Nekrasov:2002qd ; Losev:2003py . The quantization of the Kähler parameters in units of unrefined , which correspond to Coulomb branch parameters Nekrasov:2003rj , leads to a description of the partition function in terms of an irreducible representation of an affine group. For details, see Bastian:2017jje .
Given the web diagram, can be computed efficiently using the (refined) topological vertex formalism: to this end, a preferred direction in the web needs to be chosen, which from the perspective of LSTs determines the parameters that play the role of coupling constants. Concretely, different choices of the preferred direction lead to different (but equivalent) power series expansions of in terms of either , or . In this paper, we shall use this fact to prove a duality (that was first proposed in Hohenegger:2016yuv ) at the level of the partition function for generic values of the Kähler parameters: indeed, it was argued in Hohenegger:2016yuv that and are related to each other through a series of symmetry and flop transformations if and . This suggests that
| (II.1) |
where the duality map was proposed in Hohenegger:2016yuv (see also appendix C for an example), taking into account the consistency conditions on both sides. The relation (II.1) was tested in Hohenegger:2016yuv (based on a conjecture put forward in Hohenegger:2016eqy ) at a particular region in the Kähler moduli space of (with , and for ) and the Nekrasov-Shatashvili limit Nekrasov:2009rc ; Mironov:2009uv . In the following, by computing at a generic point in the Kähler moduli space, we give explicit evidence of (II.1) in general. However, for simplicity, we shall limit ourselves to .
III Partition Function of Case
As checking (II.1) is rather complicated for generic , before presenting the generic case in the following section, we first discuss as a (nontrivial) example the case . Specifically, we shall demonstrate in the following that
| (III.1) |
where and denote the (independent) Kähler parameters of and , respectively. We shall verify (III.1) explicitly at a generic point in the moduli space of Kähler parameters by performing a novel expansion of the left hand side of this relation.
III.1 Consistency Conditions and Parametrisation
The web diagram of is shown in Fig. 2(a) and the Kähler parameters labelling various rational curves are given by
| (III.2) |
Of these 18 parameters, however, only 8 are independent: indeed, for each of the six compact divisors of (each of which is a blown up at two points), we have two consistency conditions. These conditions arise because each compact divisor (represented as a hexagon in the web) has six rational curves which are toric divisors of blown up at two points but only four of these are independent. Explicitly, we therefore obtain the following conditions:
| (III.3) | |||
| (III.4) | |||
| (III.5) | |||
| (III.6) | |||
| (III.7) | |||
| (III.8) |
The above conditions indeed leave independent parameters. However, there is a priori an ambiguity in choosing the latter. A suitable parametrisation can be found by comparison with the web diagram of in Fig. 3, which has been shown in Hohenegger:2016yuv to be dual to by flop and symmetry transforms. The diagram is parametrised in terms of the maximal set of variables , which satisfies all consistency conditions. Through the explicit duality map found in Hohenegger:2016yuv , we can also express the of the web diagram in terms of
| (III.9) |
One can indeed check that (III.9) identically satisfies (III.3) – (III.8). Moreover, as we shall discuss in the following, the parametrisation (III.9) is crucial for showing the identity (III.1). To this end, we first review the topological string partition function of in the following.
III.2 The Partition Function
The web is shown in Fig. 3 in which the Kähler parameters are also labelled.
Here, the parameters are the same that appear in (III.9) (after applying the duality map proposed in Hohenegger:2016yuv ). Furthermore, the partition function was explicitly calculated in Haghighat:2013gba ; Haghighat:2013tka ; Hohenegger:2013ala using the (refined) topological vertex Aganagic:2003db ; Iqbal:2007ii . The latter has a preferred direction which can be chosen in different ways to obtain different series expansions of . For example, choosing the preferred direction to be vertical (i.e. along the -direction in the web diagram in Fig. 3), the topological string partition function takes the form
| (III.10) | |||
where we adopted the following definitions
| (III.11) | |||||
and
| (III.12) | ||||
The summation is over integer partitions and is defined in equation (A.3) in appendix A.
III.3 Diagonal Expansion of
From the viewpoint of independent variables , the (vertical) partition function (III.10) is written as a power series expansion in , since neither of the -functions depends on . Thus, in order to match (III.1) order by order in , we have to write in a similar fashion. Upon inspection of (III.9), this can indeed be achieved by choosing the preferred direction of the refined topological vertex to be along (i.e. diagonally in the web diagram in Fig. 2(a)). Indeed, in this manner, the partition function is seen to take the form
| (III.13) |
where are integer partitions. Furthermore, we used the notation (for )
| (III.14) |
together with (III.11). The coefficient shall be computed in the following. As neither nor depend on , (III.13) is also a series expansion in , which can be compared order by order to (III.10) thereby allowing to verify (III.1).
To our knowledge, while the topological string partition function has been studied in recent literature Haghighat:2013gba ; Haghighat:2013tka ; Hohenegger:2015btj ; Hohenegger:2016yuv ; Hohenegger:2016eqy ; Hohenegger:2013ala ; Bastian:2017jje , diagonal expansions of the form (III.13) for have not been studied so far. From geometric perspective, this expansion has a very natural interpretation: as the vertical and horizontal legs of the web diagram are pairwise glued together, the corresponding Newton polygon should be considered on a torus, equivalently, a tiling of the plane should be considered with the fundamental domain (the tile) given in Fig. 2(b). The choice of fundamental domain, however, is not unique and different choices lead to different (but equivalent) presentations of the web. An alternative such choice is shown in Fig. 4(a). Indeed, the green region contains all 12 faces exactly once. This new fundamental domain, however, gives rise to an equivalent representations of the web as given in the Fig. 4(b), which we refer to as the “twisted” web. After an transformation, this twisted web becomes very similar to the web in Fig. 3 except that the upper diagonal and lower diagonal legs that are glued together are not aligned (Indeed, it was shown in Hohenegger:2016yuv that, by a combination of symmetry and flop transforms, the twisted web can be converted into the standard web which is shown in Fig. 3).
III.4 Diagonal Partition Function
Using the presentation of diagram shown in Fig. 4(b), it remains to compute the coefficient in (III.13) to obtain . To facilitate this computation (and also to explain the structure of the that appear in this expression), we redraw Fig. 4(b) in Fig. 5 to include the integer partitions associated with each interval. Here, we have also indicated the parameter , which shall play an important role in the explicit computation below.
With this notation, we have the following expression for in terms of the refined topological vertex
| (III.15) |
Information of our conventions regarding integer partitions (and functional identities which shall be important in the following) is compiled in appendix A, and the refined topological vertex is defined in (B.1). Using the expression for the latter, we can write (III.15) as
| (III.16) |
where are (skew) Schur functions (see Macdo for the definition). The partitions in (III.16) are cyclically identified (e.g. ) and variables are defined as
| (III.17) |
Using the identities given in Appendix A, we can write Eq.(III.16) in the form (see Appendix B for details)
| (III.18) |
where is the Jacobi-theta function
and is a normalisation factor (see Haghighat:2013gba ; Hohenegger:2013ala and Eq.(IV.11) for below). Furthermore, the arguments of theta functions are given by
with the shorthand notation
III.5 Comparison of with
In order to verify the relation (III.1), we have to compare (III.13) with (III.10). To this end, we first express the arguments of -functions in (III.18) in terms of the parameters and using Eq. (III.9):
as well as
The prefactor in Eq. (III.18) then becomes
Furthermore, we can change the arguments of the -functions in Eq. (III.15) using the following identity of Jacobi theta functions under the shift by an integer :
| (III.19) |
In this manner, Eq. (III.15) can be written as
| (III.20) |
where we combined the -functions into -functions which are defined in Appendix A (using also Eq. (A.9)). Thus, the whole partition function in Eq. (III.13) becomes
| (III.21) |
We see that this agrees with the partition function in Eq. (III.10). This proves (III.1) at a generic point in the Kähler moduli space and for generic values of . This result provides a very strong support to the duality proposed in Hohenegger:2016yuv .
IV Building Block for General Web
In the last section, we computed the partition function at a generic point in the moduli space by choosing the preferred direction of the (refined) topological vertex along the diagonal. As we have seen, this leads to a series representation of that was instrumental in proving the duality (III.1). In this section, we generalise this result to generic configurations of the type . To this end, we first discuss the ’diagonal expansion’ for generic and, in a second step, derive a building block (the generalisation of in (III.13)) which allows the computation of in full generality.
IV.1 Diagonal Expansion of a Generic Web
The most direct way to understand generalisation of the diagonal expansion for a generic web is from the perspective of dual Newton polygon: if the external legs of the web in Fig. 1 were not glued together (i.e. mutually identified), the corresponding Newton polygon would be an rectangle in which each square is triangulated in the same way (as all the diagonal intervals are parallel). The gluing of external lines creates a periodic web, whose Newton polygon can be obtained by drawing the rectangle on the torus (i.e. gluing the parallel edges of polygon). We can, however, also consider the periodic Newton polygon as a tiling of the plane in terms of basic rectangle. This is shown for the case in Fig. 2(b) and more generically in Fig. 6(a). In both cases, the grey region is the rectangle that is dual to the web diagram of .
As in the case, however, the fundamental domain of a given tiling is not unique. Indeed, the green region in Fig. 6(a) also contains all distinct faces of the Newton polygon, and is therefore a possible choice of the fundamental domain. However, the web diagram dual to this green region (drawn in Fig. 6(b)) shows that can also be drawn as a web (with ) but not with ‘adjacent’ external legs on opposite sides glued together. Indeed, the ‘off-set’ can be read off by comparing the positions of the two red intervals in Fig. 6(a) and is given by the minimal (integer) solution to the diophantine equation
| (IV.1) |
We will call generic web diagrams with twisted, the twisted diagram being an example already encountered in the last section. Note, however, that twisted webs of the type Fig. 6(b) can also be brought to the form of an untwisted web by a series of flop transitions Hohenegger:2016yuv . It turns out, however, that the presentation of the web diagram as a twisted web is more suited for the computation of the partition function.
IV.2 Generic Building Block
The twisted web diagram is decomposable into basic strips (one of them is highlighted in orange color in Fig. 6) which are glued together along the diagonal intervals. We refer to these strips sometimes as ‘staircase’ diagrams and a generic such strip of length (along with a suitable labelling of Kähler parameters associated with the various intervals, as well as integer partitions associated with the external diagonal legs) is shown in Fig. 7. The open string amplitudes for such strips can be glued together to form the topological string partition function of (see Haghighat:2013gba for the case , Hohenegger:2013ala for with a non-maximal set of Kähler parameters and Haghighat:2013tka for the limit in which one of the elliptic fibrations of degenerates). Below, we compute the generic building block associated with the strip in Fig. 7 at a generic point in moduli space, which allows to evaluate at an arbitrary point in the Kähler moduli space.
Using the refined topological vertex, we can express the generic building block for the strip in Fig. 7 as
| (IV.2) |
where the prefactor is given by
| (IV.3) |
and the arguments of skew Schur functions are defined as
| (IV.4) |
where . It is important to recall that we associate arbitrary (and independent) partitions and with the upper and lower diagonal legs of the staircase strip (as shown in Fig. 7). Put differently, the diagonal line segments of this staircase are not glued together and therefore no consistency conditions are imposed on the Kähler parameters. Thus, the variables
| and | (IV.5) |
are independent of each other (in the following, we will use the same notation as in (III.14)). Note, however, that this will be changed in section IV.3, when we consider a specific gluing of the external lines of the staircase, as shown in Fig. 9. For later convenience, we also introduce the parameters
| and | (IV.6) |
for all . These are not all independent of each other, but satisfy the consistency condition .
Comparing with the case as discussed in the previous section, we note that the structure of (IV.2) is very similar to (III.16), except that the summation involves a larger number of integer partitions. We remark that physically, the sizes of the integer partitions labelling the fundamental building block give the instanton charges of individual ’s in the dual gauge theory. The dual gauge theory and the role of these partitions labelling the building block will be discussed in detail in paper2 . However, as any given summand in Eq.(IV.2) still contains products of skew Schur functions which can be manipulated using the relations (A.7), we can follow the same steps as in appendix B to work out (IV.2). Specifically, due to the identification of the horizontal ends of the strip (denoted by in Fig. 7), we can generalise the recursion relation (B.6) for generic , which allows us to write a product representation of (IV.2). As the computation is lengthy and very tedious, we refrain from giving the details of various steps and simply state the result in the following form
| (IV.7) |
where for brevity we omitted an overall prefactor independent of the external legs, which will be fixed by the normalisation in the end. The modular parameter is given by
| with | (IV.8) |
In (IV.7), the arguments , , and are given in Eq.(IV.4) and we have introduced the following shorthand notation
| (IV.9) |
Finally, upon reinstating the appropriate normalisation factor (which is interpreted as the closed string amplitude and is defined below), Eq. (IV.7) can be written as follows (see Eq. (A.2) for the definition of functions ),
| (IV.10) |
where
| (IV.11) |
While the numerator of (IV.10) can in principle be further simplified by combining the into following (A.5), a similar simplification for the denominator requires a gluing of the external legs. We therefore postpone these steps to the next section, where the latter is considered in detail.
There is a more intuitive way of understanding the structure of (IV.10). The open string amplitude in Eq. (IV.7) can be understood in terms of counting holomorphic curves in the presence of Lagrangian branes Iqbal:2004ne . Recall that, if the external legs of the strip diagram are not glued (as in Fig. 7), there are only two types of curves:
-
(i)
curves with local geometry
-
(ii)
curves with local geometry
If we place Lagrangian branes Aganagic:2000gs on (pairs of) external legs of the web diagram, the curves contributing to the open string amplitude (IV.7) are of type (i) if the external legs are on different sides of the diagram and of type (ii) if they are on the same side, respectively. In the former case, for two external legs labelled by and , these curves are shown in Fig. 8(a) and Fig. 8(b), respectively, and their contributions to the open string amplitude in (IV.7) are
| (IV.12) |
The curves of type (ii) with branes on external legs on the same side labelled by or are shown in Fig. 8(b) and contribute to the open string amplitude,
| (IV.13) |
Here, for all four cases is the Kähler parameter associated with the only holomorphic curve in the geometry. In order to describe the area of this curve in terms of the Kähler parameters of the strip diagram, the parameters and in (IV.6) are very useful (see Fig. 7). In terms of the latter, we have for (IV.9)
| (IV.14) |
Note that gluing the external legs (as e.g. in Fig. 9) of the strip allows infinitely many holomorphic curve between any two external lines by going around the strip a number of times before ending. As there are no other holomorphic curves, the open string amplitude associated with the glued strip is an infinite product over the “winding” in addition to a product over distinct pairs of external legs. However, each pair of legs still gives rise to factors of the type shown in Eq. (IV.12) and Eq. (IV.13).
IV.3 Twisted Strip and Duality for
Having computed the general building block in (IV.10), arbitrary partition functions of the type can be computed by gluing several of the together along the external lines. Depending on the choice of gluing parameters (and the orientation of the fundamental building block), we can obtain various different series expansions of . Indeed, for the diagonal expansion, the gluing of several strips is indicated in Fig. 6(b).
As a next step, we can use (IV.10) to verify explicitly (II.1), thus generalising our checks of (III.1) to more generic configurations. As the explicit computations are rather involved, we limit ourselves to cases with , in which the shifted web (shown in Fig. 6(b)) takes the form of a single ‘staircase’ strip of length , whose external lines are glued with a shift given by eq. (IV.1). This configuration is schematically shown in Fig. 9. As was explained in Hohenegger:2016yuv , the duality (assuming ) relies on iteratively using flop and symmetry transformations to change the twisted strip with shift into a twisted strip with shift . While this procedure changes the individual intervals in the (twisted) web-diagram, it is expected that the partition function remains invariant. In the following, we will show explicitly that the partition function is invariant under the transformations that changes , which (by induction) explicitly proves (II.1) for .
IV.3.1 Parametrisation
In this section, we consider a twisted web diagram of length in which the external (diagonal) legs are glued together (albeit with a shift ), so not all line segments in Fig. 9 are independent one another. Instead, they have to satisfy the following consistency conditions
| (IV.15) |
which leave a total of independent parameters. Eliminating the from (IV.15), we obtain
| (IV.16) |
which in terms of the variables (IV.6) corresponds to , as has already been taken into account in Fig. 9. There, we have also introduced the (diagonal) distance between identified external legs, which is represented by the blue curve. In Fig. 9, we chose to measure this distance between the diagonal intervals carrying the integer partition function and , respectively. In fact, is the same for any pair of identified legs (we adopt a notation where and similarly )
| (IV.17) |
due to the consistency conditions (IV.15) and (IV.16). We can thus express the horizontal distances as which, for the shorthand notation in (IV.14), implies that
With this notation, the partition function associated with the twisted diagram in Fig. 9 can be written as
| (IV.18) |
Here, we have added the explicit superscript to indicate the partition function associated with the twisted web diagram with shift . We will show in the next section that in (IV.18) (for ) can be arbitrarily shifted, provided that we apply the flop and symmetry transformation reviewed in appendix C to the Kähler parameters. Therefore is in fact identical to up to an appropriate transformation of . It was proposed in Hohenegger:2016yuv (and checked at a particular region in the moduli space) that this also holds for .
Furthermore, in (IV.18) follows from the generic expression (IV.10) by identifying the partitions
| (IV.19) |
where we recall that the latter are cyclically identified, i.e. ). Concretely, we find
| (IV.20) |
Here, we introduced
| and | (IV.21) |
with . Furthermore, we have used the identities (A.5) and (A.6) to combine the in (IV.10) into -functions (cancelling the factor in the process). The full partition function (IV.18) also depends on the parameters , which are not all independent. Indeed, by rewriting (IV.15) in terms of (independent) parameters and , we get the following recursive relation for
| (IV.22) |
This implies that only one of the many parameters can be chosen to be independent. This freedom is parametrised by : in Fig. 9, it is shown as the vertical distance between the external legs labelled by the partition and . Similar to the parameter due to the consistency conditions (IV.15) (and equivalently (IV.22)), this length is the same for any pair of partitions
We remark that are independent variables and therefore describe a maximally independent set of Kähler parameters for .
IV.3.2 Flop Transformations
Our strategy for proving (II.1) for is to show that
| (IV.23) |
for the partition function defined in (IV.18): indeed, is associated with a twisted web diagram (with shift ) that can be related to Fig. 9 through a series of flop and symmetry transformations, that also relate the Kähler parameters and . This duality was first discussed in detail in Hohenegger:2016yuv and is reviewed in appendix C.
The parameters (IV.16) and (IV.17) in the transformed diagram are the same as those defined in the original diagram
Hence, the always parametrise the distance between two adjacent legs and measures the vertical distance between two identified legs.
In order to show that (IV.23) holds, we first rewrite the building block (IV.20) in a way that makes the dependence explicit
| (IV.24) |
where and the are defined as follows
| (IV.25) |
The difference between for the original diagram and for the diagram obtained by flop and symmetry transformations rests in the three terms and . Their respective counterparts in the shifted diagram, denoted by and , are given by
| (IV.26) |
where and . The difference between and (respectively, and ) lies in the arguments of those -functions for which (resp. ): they differ by a factor of . The difference between and is also a factor of .
Finally, we also need to take account of the factors of that appear in the full partition function (IV.18). In the flopped diagram, these are given by (see (C.4))
| (IV.27) |
where we defined . In order to show that the equality (IV.23) holds, we now show that the difference between and can be canceled by merely applying the shift identity (III.19) to the -functions mentioned above in (IV.26).
First, we consider the case when the twist in the external legs is . Shifting the required -functions to regain the -structure of the strip gives
| (IV.28) |
The prefactors in (IV.28) resulting from the shift identity combine with (IV.26) and (IV.27) to reproduce the expression for , thus proving that (IV.23) holds for .
The computations when are more involved, so we will simply sketch them. Below we present the -functions from that need to be shifted in order to regain . We need to distinguish different cases depending on the partition in question. For the sake of clarity, we focus only on terms resulting from shifts that come to the power in each separate case.
-
1.
For , we shift the following -functions
(IV.29) -
2.
For , we shift the following -functions
(IV.30) -
3.
For , we need to distinguish between two cases:
-
(a)
When we shift
(IV.31) -
(b)
For , we shift
(IV.32)
-
(a)
In each case, the factors resulting from shifting the -functions combine with (IV.26) and (IV.27) to reproduce the expression for , thus showing that (IV.23) holds for a generic off-set with and related trough the duality transformations (C.4). As the relation (IV.23) can be applied iteratively to the point (for which ), this further implies (for )
| (IV.33) |
where the Kähler parameters and are related by the duality map implied by (C.4). This proves (II.1) for . As was already argued in Hohenegger:2016yuv , this behavior is expected to hold also for , however, extending the above computations to these cases is technically more involved and will be left for forthcoming study.
V Conclusions
In this paper, we studied the topological string partition functions of double elliptically fibered Calabi-Yau threefolds that give rise to a class of LSTs with 8 supercharges via F-theory compactification. We have shown by an explicit example that and , which are related by flop and symmetry transforms, have the same topological string partition function, hence providing an explicit proof of the duality proposed in Hohenegger:2016yuv between and (). Indeed, while the case discussed here were characterised by (in order to simplify the computations), we expect the duality to straightforwardly extend also to on general grounds Li:1998hba ; Liu:2005fz ; Konishi:2006ev ; Taki:2008hb .
A logically natural question is whether the diagonal expansion of , performed in this paper, can also be interpreted as an instanton expansion of a new gauge theory engineered from the web. As we will discuss in paper2 , this turns out indeed the case. The parameters can be expressed in terms of coupling constants of a quiver gauge theory related by U-dualities to the usual quiver theory on the compactified M5-branes dual to . The dual gauge theories coming from the horizontal and vertical description of the brane web, discussed in Hohenegger:2015btj , together with this new dual gauge theory associated with the same web gives us a ”triality” of quiver gauge theories.
The Calabi-Yau threefolds are resolution of orbifold of . Therefore, another very interesting and natural question is whether similar duality related by flop transitions can be obtained for different types of orbifolds where is replaced by , with some other discrete subgroups of .
Acknowledgement
We are grateful to Dongsu Bak, Kang-Sin Choi, Taro Kimura and Washington Taylor for useful discussions. A.I. would like to acknowledge the “2017 Simons Summer Workshop on Mathematics and Physics” for hospitality during this work. A.I. was supported in part by the Higher Education Commission grant HEC-20-2518.
Appendix A Notation and Useful Identities
In this appendix, we first introduce some of our notation and provide some useful computational identities. We start by introducing some notation concerning integer partitions. Given an integer partition , we denote its transpose by . We define
| (A.1) |
where is the length of the partition (i.e. the number of non-zero terms). We also introduce the following functions that are indexed by two integer partitions and :
| (A.2) |
where
We further define
| (A.3) |
where (with and )
| (A.4) | |||||
Pairs of -functions can be combined into -functions in Eq. (A.3) by utilizing the following identities
| (A.5) |
as well as
| (A.6) |
In performing the calculations in Section III and Section IV, we utilized a number of computational identities. Firstly, we found the following two identities helpful for performing sums of skew Schur functions (see Macdo (page 93))
| (A.7) |
Secondly, we also used the following identities between products over integer partitions and infinite products Macdo
| (A.8) |
Finally, we also recall the following identity Taki ,
| (A.9) |
Appendix B Diagonal Partition Function
In this appendix, we present details of the calculation of the building block for the computation of the diagonal expansion of , which is introduced in Eq. (III.15). Using the definition of the refined topological vertex
| (B.1) |
where are skew Schur functions and
| (B.2) |
the expression (III.15) can be written in the form (III.16).
In what follows, we denote the whole set of variables as bold expressions, i.e. and, for simplicity, we shall not consider the prefactor in (III.16): indeed, the summation over the skew Schur function in (III.16) can be written in the form
| (B.3) |
We can perform the sum over skew Schur functions using a method similar to those in Haghighat:2013gba : repeatedly using the identities (A.7) for summing skew Schur functions, we can write:
| (B.4) |
where we introduced the notation and
Thus, in (B.4), we find an expression similar to the expression (B.3) except for the difference that the partitions have been shifted, e.g. the Schur functions for have been replaced in the following fashion
By repeating this procedure multiple times, we again obtain the quantity defined in (B.3), up to a prefactor (The precise form of turns out not to be important) and a shift of all arguments, as
| (B.5) |
where we abbreviated . Repeating further, the relation (B.5) leads to the following recursion relation for all integers
| (B.6) |
Using the fact that , we have the relation
| (B.7) |
as the only non-vanishing terms in this limit correspond to and . The skew Schur functions are non-zero when and , such that we have
By considering the transpose of the conditions in the second line conditions, we get
which implies that the summation in (B.7) only receives contributions for
such that (B.7) is reduced to
We thus obtain
| (B.8) |
where the multiplicative prefactor can be worked out to be
| (B.9) |
Finally, using the consistency conditions (III.3)-(III.8), this expression can be simplified to Eq.(III.18).
Appendix C Flop Transforms for Twisted Diagrams
In this appendix, we recapitulate a series of flop and symmetry transforms of a twisted web diagram of length with generic shift (as shown in Fig. 9 and equivalently in Fig. 10, along with a labelling of all relevant parameters and integer partitions) that relate it to a twisted web diagram of the same length but with shift . The duality between the two twisted web diagrams was first discussed in Hohenegger:2016yuv . It can be applied iteratively to obtain a web diagram with shift , which was used in Hohenegger:2016yuv to argue for a duality between and for and . Here, we are primarily interested in the case .
We start out by performing an transformation of the twisted web diagram in Fig. 9, whose result is shown in Fig. 10.
This does not change the Kähler parameters, as indicated in Fig. 10.
As the next step, we perform a flop transformation on the intervals . After suitable cutting and re-gluing, the twisted web can be presented in the form shown in Fig. 11. Notice that not only for , but also the remaining parameters have changed according to
| (C.1) |
which reflect how the various intervals are connected to the ones that are being flopped.
As the final step, performing a flop transformation of , we get the web shown in Fig. 12, which is a twisted web diagram with shift . Concerning the parameters that are associated with the individual line segments in the web, we have
| (C.2) |
and
| (C.3) |
We can summarise this in the form of the duality map
| (C.4) |
Moreover, the basis parameters and remain the same as in Fig. 10 (i.e. they are invariant under the duality map), while the parameters and are related by
| (C.5) |
References
- (1) M. Berkooz, M. Rozali and N. Seiberg, Phys. Lett. B 408 (1997) 105 [hep-th/9704089].
- (2) N. Seiberg, Phys. Lett. B 408 (1997) 98 [hep-th/9705221].
- (3) A. Losev, G. W. Moore and S. L. Shatashvili, Nucl. Phys. B 522 (1998) 105 [hep-th/9707250].
- (4) O. Aharony, M. Berkooz, D. Kutasov and N. Seiberg, JHEP 9810 (1998) 004 [hep-th/9808149].
- (5) O. Aharony, Class. Quant. Grav. 17 (2000) 929 [hep-th/9911147].
- (6) D. Kutasov, Introduction to Little String Theory, in Superstrings and related matters. Proceedings, Spring School, Trieste, Italy, April 2-10, 2001, pp. 165 - 209, 2001.
- (7) L. Bhardwaj, M. Del Zotto, J. J. Heckman, D. R. Morrison, T. Rudelius and C. Vafa, Phys. Rev. D 93, no. 8, 086002 (2016), [arXiv:1511.05565 [hep-th]].
- (8) K. A. Intriligator, Adv. Theor. Math. Phys. 1, 271 (1998) [hep-th/9708117].
- (9) K. A. Intriligator, Phys. Rev. D 61, 106005 (2000), [hep-th/9909219].
- (10) B. Haghighat, A. Iqbal, C. Kozçaz, G. Lockhart and C. Vafa, Commun. Math. Phys. 334 (2015) no.2, 779, [arXiv:1305.6322 [hep-th]].
- (11) S. Hohenegger, A. Iqbal and S. J. Rey, Phys. Rev. D 93 (2016) no.6, 066016, [arXiv:1511.02787 [hep-th]].
- (12) S. Hohenegger, A. Iqbal and S. J. Rey, JHEP 1707 (2017) 112, [arXiv:1610.07916 [hep-th]].
- (13) S. Cecotti, D. Gaiotto and C. Vafa, JHEP 1405, 055 (2014), [arXiv:1312.1008 [hep-th]].
- (14) O. Aharony, A. Hanany and B. Kol, JHEP 9801, 002 (1998), [hep-th/9710116].
- (15) N. C. Leung and C. Vafa, Adv. Theor. Math. Phys. 2, 91 (1998) [hep-th/9711013].
- (16) D. R. Morrison and C. Vafa, Nucl. Phys. B 473, 74 (1996) [hep-th/9602114].
- (17) D. R. Morrison and C. Vafa, Nucl. Phys. B 476, 437 (1996) [hep-th/9603161].
- (18) D. R. Morrison and W. Taylor, Central Eur. J. Phys. 10, 1072 (2012) [arXiv:1201.1943 [hep-th]].
- (19) D. R. Morrison and W. Taylor, Fortsch. Phys. 60, 1187 (2012) [arXiv:1204.0283 [hep-th]].
- (20) K. S. Choi and S. J. Rey, JHEP 1709 (2017) 092 [arXiv:1706.05353 [hep-th]].
- (21) M. Alim and E. Scheidegger, Commun. Num. Theor. Phys. 08, 729 (2014) [arXiv:1205.1784 [hep-th]].
- (22) A. Klemm, J. Manschot and T. Wotschke, arXiv:1205.1795 [hep-th].
- (23) M. X. Huang, S. Katz and A. Klemm, JHEP 1510, 125 (2015) [arXiv:1501.04891 [hep-th]].
- (24) B. Haghighat, C. Kozcaz, G. Lockhart and C. Vafa, Phys. Rev. D 89 (2014) no.4, 046003, [arXiv:1310.1185 [hep-th]].
- (25) A. Kanazawa and S.C. Lau, arXiv:1605.00342 [math.AG].
- (26) N. A. Nekrasov, Adv. Theor. Math. Phys. 7, no. 5, 831 (2003) [hep-th/0206161].
- (27) A. S. Losev, A. Marshakov and N. A. Nekrasov, In *Shifman, M. (ed.) et al.: From fields to strings, vol. 1* 581-621 [hep-th/0302191].
- (28) N. Nekrasov and A. Okounkov, Prog. Math. 244, 525 (2006) [hep-th/0306238].
- (29) B. Bastian and S. Hohenegger, arXiv:1706.08750 [hep-th].
- (30) S. Hohenegger, A. Iqbal and S. J. Rey, Phys. Rev. D 94 (2016) no.4, 046006, [arXiv:1605.02591 [hep-th]].
- (31) N. A. Nekrasov and S. L. Shatashvili, arXiv:0908.4052 [hep-th].
- (32) A. Mironov and A. Morozov, JHEP 1004 (2010) 040 [arXiv:0910.5670 [hep-th]].
- (33) S. Hohenegger and A. Iqbal, Fortsch. Phys. 62 (2014) 155 [arXiv:1310.1325 [hep-th]].
- (34) M. Aganagic, A. Klemm, M. Marino and C. Vafa, Commun. Math. Phys. 254, 425 (2005), [hep-th/0305132].
- (35) A. Iqbal, C. Kozcaz and C. Vafa, JHEP 0910, 069 (2009), [hep-th/0701156].
- (36) I. G. Macdonald, Symmetric Functions and Hall Polynomials, (second edition, 1995), Oxford Mathematical Monographs, Oxford Science Publications
- (37) A. Iqbal and A. K. Kashani-Poor, Adv. Theor. Math. Phys. 10, no. 3, 317 (2006), [hep-th/0410174].
- (38) M. Aganagic and C. Vafa, hep-th/0012041.
- (39) C. H. Liu and S. T. Yau, math/0505084 [math-ag].
- (40) A. M. Li and Y. Ruan, math/9803036 [math-ag].
- (41) Y. Konishi and S. Minabe, Int. J. Math. 19, 27 (2008), [math/0601352 [math-ag]].
- (42) M. Taki, arXiv:0805.0336 [hep-th].
- (43) B. Bastian, S. Hohenegger, A. Iqbal and S. J. Rey, Triality of Little String Theories, in preparation.
- (44) M. Taki, JHEP 0803 , 048 (2008) [arXiv:0710.1776 [hep-th]].